Jan PeleskaTools for System Development and VerificationWorkshop, Proceedings, Bremen, Germany July 1996 | |
ISBN: | 978-3-8265-3806-3 |
Reeks: | BISS Monographs Uitgever: Prof. Dr. Bernd Krieg-Brückner Bremen |
Volume: | 1 |
Trefwoorden: | Informatik; Formale Methoden und Werkzeuge; Sichere Systeme; Formal Methods; Tools; System Development; Verification; Validation; Test |
Soort publicatie: | Fachpublikation |
Taal: | Duits |
Pagina's: | 220 pagina's |
Gewicht: | 330 g |
Formaat: | 20,5 x 14,5 cm |
Bindung: | Softcover |
Prijs: | 19,50 € / 39,00 SFr |
Verschijningsdatum: | Mei 1998 |
Kopen: | |
Aanbevelen: | Wilt u dit boek aanbevelen? |
Recensie-exemplaar | Bestelling van een recensie-exemplaar. |
Verlinking | Wilt u een link hebben van uw publicatie met onze online catalogus? Klik hier. |